c formula generated with seed 2, probabilty values 0.414000 0.028000 0.503000 and clause ration 4.410000
c the planted solution is {1, 3, 6, 7, 9, 10, 11, 14, 16, 17, 19, 20, 23, 24, 25, 30, 32, 33, 34, 35, 38, 41, 43, 44, 48, 49, 50, 52, 53, 55, 56, 58, 59, 61, 62, 63, 66, 70, 71, 72, 74, 75, 80, 84, 92, 93, 95, 96, 98, 99, 100, 101, 106, 108, 111, 112, 117, 118, 119, 123, 124, 125, 126, 128, 129, 132, 134, 136, 137, 138, 140, 141, 143, 145, 146, 147, 148, 150, 151, 152, 154, 155, 156, 161, 162, 165, 166, 168, 169, 170, 171, 172, 173, 176, 177, 178, 182, 183, 184, 186, 187, 189, 191, 192, 193, 196, 198, 201, 202, 203, 204, 205, 210, 211, 212, 213, 216, 218, 221, 223, 225, 229, 231, 232, 233, 234, 236, 238, 239, 240, 242, 244, 245, 247, 248, 251, 252, 253, 254, 256, 259, 260, 263, 265, 269, 270, 274, 279, 280, 286, 288, 290, 291, 292, 293, 294, 297, 298, 299, 306, 308, 309, 310, 312, 314, 315, 316, 317, 321, 322, 325, 326, 334, 336, 343, 344, 345, 354, 357, 364, 367, 370, 372, 373, 376, 378, 379, 380, 381, 383, 385, 387, 388, 390, 391, 397, 402, 403, 406, 412, 413, 414, 417, 418, 419, 427, 428, 429, 430, 431, 434, 436, 440, 441, 443, 449, 450, 453, 454, 456, 457, 458, 460, 463, 464, 466, 467, 468, 469, 470, 472, 474, 476, 477, 479, 480, 484, 485, 486, 489, 490, 492, 493, 494, 495, 498, 500}
p cnf 500 2205
290 423 -63 0
-311 -246 168 0
75 -381 300 0
204 413 -158 0
133 -339 224 0
-93 -288 -164 0
245 126 234 0
251 -106 -59 0
-268 -123 -155 0
-65 206 246 0
-483 -278 -351 0
-461 -376 21 0
-283 340 -476 0
333 16 -299 0
85 474 349 0
233 453 -157 0
458 433 -117 0
-266 80 -144 0
238 -173 -322 0
258 -416 -178 0
352 -477 -471 0
-320 180 131 0
360 197 -45 0
-66 -199 394 0
-359 -482 146 0
237 -268 421 0
352 288 -414 0
280 -481 147 0
-303 -424 248 0
-123 457 149 0
-276 408 -428 0
-423 -216 -254 0
218 33 24 0
-290 -364 493 0
-87 399 91 0
-147 -222 491 0
-118 -301 295 0
206 -450 204 0
-109 -351 218 0
-73 -292 -233 0
442 377 -320 0
102 -26 -479 0
-272 94 -427 0
-250 83 349 0
-215 171 7 0
-423 -178 475 0
-13 -1 374 0
-113 240 -267 0
-46 -1 -314 0
32 -2 -398 0
-122 195 422 0
-304 -1 452 0
-206 -332 110 0
-378 -211 -116 0
298 -199 436 0
-329 239 -328 0
-49 -321 -475 0
443 98 251 0
8 354 -43 0
-85 -227 -295 0
114 -166 -341 0
236 -489 -309 0
-315 479 -148 0
-104 386 19 0
359 43 -344 0
354 -157 -382 0
393 453 40 0
-314 -435 356 0
-395 166 -415 0
-102 -224 -473 0
-354 63 -19 0
-351 80 -405 0
-223 231 -93 0
280 46 475 0
305 82 247 0
446 454 -343 0
357 350 -156 0
-338 211 176 0
-360 105 -306 0
-188 -86 -36 0
203 -88 -398 0
-453 33 194 0
353 132 -176 0
-73 443 -15 0
-350 -197 16 0
-342 -366 403 0
2 44 -489 0
-415 396 -468 0
200 -341 164 0
-448 -161 424 0
-206 65 352 0
-440 350 -384 0
478 122 -285 0
-120 476 -447 0
314 250 -52 0
308 -448 288 0
-48 455 -133 0
296 466 -464 0
45 80 483 0
59 -124 -454 0
-115 325 35 0
8 387 384 0
-225 -342 -168 0
-26 311 -370 0
-485 -316 454 0
340 167 44 0
-153 469 403 0
-17 160 -392 0
494 418 -82 0
-220 129 231 0
329 -218 -12 0
-486 433 61 0
-229 194 189 0
10 -241 -197 0
-434 -293 -433 0
206 -22 -449 0
22 -277 -455 0
30 330 363 0
-354 -301 -247 0
486 19 196 0
-178 499 -433 0
-255 -445 -391 0
-57 393 -315 0
-183 361 173 0
403 -50 -274 0
315 -122 184 0
-10 -491 432 0
200 186 426 0
223 -485 446 0
-338 -28 -410 0
472 -499 -258 0
312 -491 281 0
-307 -495 306 0
-372 248 422 0
211 -281 -220 0
292 385 -424 0
352 105 -283 0
447 182 -480 0
-98 271 -307 0
-131 -271 108 0
-410 -203 27 0
191 76 264 0
161 109 -412 0
247 470 177 0
-212 200 -133 0
-145 135 312 0
-261 325 299 0
76 -126 186 0
423 355 -393 0
-284 106 241 0
-239 -198 231 0
415 -160 91 0
-53 288 423 0
422 -268 -431 0
308 -122 -305 0
189 -70 -6 0
111 -82 -69 0
375 -195 445 0
329 -230 -205 0
317 -250 -268 0
139 -96 -97 0
-208 457 213 0
-248 -177 -487 0
-261 -106 110 0
-218 379 -269 0
21 -341 -101 0
483 284 -47 0
-127 407 -132 0
-162 22 -37 0
287 161 81 0
383 163 -314 0
-213 -223 427 0
-157 88 45 0
-152 -231 48 0
-479 90 -230 0
-446 277 -390 0
500 432 -150 0
320 400 202 0
122 -78 261 0
-292 236 295 0
-447 111 186 0
346 175 -78 0
494 -106 -479 0
384 -229 -241 0
-107 211 -377 0
-204 -380 -465 0
-377 -77 378 0
-110 -459 -348 0
-296 -130 287 0
-310 -294 169 0
166 -180 128 0
151 -336 199 0
-210 -396 -118 0
-28 310 -102 0
-45 -164 -129 0
484 -274 -137 0
-25 38 -467 0
188 -446 -490 0
-86 354 196 0
-70 263 188 0
420 -319 4 0
-22 -324 -197 0
310 -493 491 0
-311 -454 228 0
332 494 246 0
41 97 -213 0
-46 73 -498 0
322 46 28 0
-243 377 76 0
-307 -275 -97 0
-468 -253 -130 0
142 -454 156 0
-282 -476 142 0
143 358 -406 0
497 -212 -46 0
-103 -248 15 0
389 -80 310 0
472 -444 -37 0
139 -53 -426 0
353 -338 -136 0
-195 45 167 0
477 454 -28 0
489 -371 -94 0
64 65 111 0
482 6 -238 0
183 9 -465 0
-150 -10 490 0
-315 -251 192 0
-180 52 -342 0
-168 6 377 0
-264 -306 -132 0
241 31 -483 0
-410 203 -133 0
255 -314 43 0
60 418 -48 0
265 -442 231 0
23 -104 -295 0
78 328 468 0
428 29 56 0
-392 -141 456 0
138 88 324 0
269 116 -72 0
427 380 -329 0
-447 -118 363 0
-471 450 -461 0
-425 203 376 0
-413 -232 204 0
-229 -488 207 0
276 -61 143 0
164 378 -96 0
244 -223 332 0
195 455 498 0
296 195 -51 0
-500 -40 -61 0
335 321 -260 0
-171 418 -480 0
77 -178 479 0
233 -492 139 0
357 166 -304 0
400 140 -387 0
63 -164 240 0
391 -214 95 0
118 -166 -49 0
202 303 -128 0
-247 -127 -117 0
423 -301 287 0
85 -351 328 0
385 186 -368 0
-191 -53 -167 0
452 180 -455 0
-418 407 -301 0
375 -313 -19 0
-359 123 223 0
159 -245 -28 0
370 -6 -334 0
-431 -349 -156 0
-402 -321 239 0
320 272 -190 0
45 453 -248 0
442 -115 -256 0
77 -482 257 0
-4 354 58 0
-123 -83 -7 0
-419 496 3 0
-262 233 -31 0
-105 -414 -310 0
218 181 -419 0
142 251 -324 0
-144 274 -83 0
-493 31 -407 0
182 310 70 0
-290 31 212 0
-451 20 453 0
-409 62 -304 0
88 384 322 0
-456 -215 -292 0
-455 -287 151 0
84 -150 -256 0
219 -372 176 0
138 58 -384 0
-119 239 -388 0
-254 -382 -469 0
315 203 -103 0
-371 62 253 0
4 291 -111 0
345 -131 -409 0
479 232 -296 0
247 492 -333 0
-347 448 -98 0
476 -296 -13 0
486 -109 404 0
300 335 357 0
168 -383 -464 0
166 94 -390 0
242 -243 467 0
349 -341 -165 0
236 -294 -202 0
-314 232 -178 0
73 -7 14 0
193 125 -329 0
-464 240 81 0
-153 -240 8 0
-352 -273 -42 0
-147 31 244 0
409 -237 200 0
106 -373 13 0
-392 -422 205 0
347 29 221 0
297 -270 452 0
-308 -483 -279 0
473 -138 24 0
408 -183 -60 0
27 170 -225 0
-164 -423 -410 0
-76 139 220 0
-455 -484 -309 0
343 -157 -267 0
-500 -103 208 0
-362 -462 128 0
-303 -174 -340 0
-303 -362 -45 0
-193 281 129 0
-164 247 -346 0
433 353 -104 0
-429 -359 100 0
-337 206 -472 0
-291 454 -276 0
-491 439 -16 0
262 278 479 0
263 409 -247 0
-131 -31 252 0
176 360 -152 0
-328 -170 224 0
242 309 150 0
-412 160 239 0
36 211 -154 0
199 -403 -332 0
497 265 -7 0
-451 440 132 0
-207 -39 162 0
275 477 -263 0
-393 357 297 0
198 -487 -356 0
-342 -90 111 0
-149 147 189 0
-186 -277 -146 0
88 21 309 0
-212 -267 -129 0
410 -26 -458 0
359 129 13 0
55 -349 20 0
-489 29 -287 0
-391 237 -243 0
403 -74 -24 0
-142 -462 98 0
491 -26 208 0
-449 369 74 0
-126 145 -101 0
216 352 301 0
-94 257 60 0
241 -359 -357 0
41 471 424 0
-333 120 -169 0
71 98 -222 0
456 -331 -415 0
-324 -200 -149 0
-268 -285 192 0
84 496 451 0
268 -2 -252 0
220 151 262 0
-456 138 123 0
34 -338 -313 0
-213 -481 -464 0
-484 480 459 0
-385 -404 -500 0
247 -271 -230 0
-146 411 -268 0
-334 -15 -479 0
393 326 -252 0
-412 -349 295 0
384 -490 -483 0
-68 -479 2 0
-385 -309 -424 0
-424 479 -64 0
204 -194 -250 0
248 233 -394 0
-5 -368 203 0
-365 340 -228 0
320 -275 -310 0
-420 -92 -43 0
354 175 461 0
-404 221 -51 0
-435 -497 6 0
314 157 257 0
16 497 329 0
460 -478 -67 0
-338 59 231 0
-291 344 91 0
181 90 23 0
5 486 -101 0
-159 -258 -394 0
232 -277 95 0
278 314 98 0
-315 408 325 0
442 196 -1 0
232 -492 45 0
-478 -31 427 0
-144 -349 182 0
-261 251 69 0
436 -281 7 0
124 -143 -463 0
448 -129 -333 0
72 -325 -391 0
-167 485 429 0
-29 117 -190 0
-301 -333 397 0
-146 243 -228 0
76 -144 157 0
-132 75 -453 0
202 -2 321 0
-398 -101 243 0
345 132 322 0
-121 87 -6 0
-389 47 -221 0
-22 -337 152 0
80 -426 -420 0
-45 -114 -401 0
-206 28 220 0
-335 -381 418 0
-319 -447 413 0
-138 -304 -234 0
-34 495 -162 0
-223 -478 215 0
-359 -90 3 0
-236 383 86 0
425 -174 272 0
-230 -298 -73 0
264 391 12 0
-421 124 -496 0
-263 201 -193 0
5 -228 -317 0
20 -111 441 0
-163 -177 -234 0
-246 78 8 0
392 -405 158 0
315 -295 -164 0
366 22 -348 0
201 -288 -247 0
-200 -403 386 0
-434 -407 404 0
-474 -123 -207 0
-28 -54 -327 0
281 -418 201 0
-187 451 -130 0
-52 439 143 0
245 -11 135 0
192 -103 500 0
98 200 219 0
-14 -497 185 0
-251 -446 120 0
151 -350 72 0
-263 -225 178 0
176 -125 -6 0
-201 310 -414 0
331 408 -31 0
458 -30 42 0
-138 430 -225 0
-405 -86 -389 0
473 101 105 0
-490 4 -42 0
-74 -445 438 0
311 -165 373 0
-299 -283 83 0
261 217 380 0
-202 407 -282 0
230 379 -141 0
357 114 415 0
416 1 -270 0
-15 119 72 0
-281 55 -276 0
-206 -282 387 0
-341 463 451 0
-419 -51 -500 0
-231 242 -385 0
-160 -494 268 0
243 -185 121 0
30 259 137 0
213 -429 202 0
-119 -20 -110 0
155 401 22 0
45 -466 111 0
-412 -387 19 0
-250 -269 -476 0
-423 -343 90 0
69 330 70 0
-482 -42 184 0
472 333 285 0
462 -147 154 0
203 289 -43 0
-107 164 -293 0
295 -74 -224 0
-198 324 182 0
-120 -78 383 0
-390 190 232 0
-74 -185 327 0
-441 85 -415 0
-115 -68 274 0
442 -328 -99 0
341 118 -26 0
313 -49 -264 0
329 212 -388 0
238 247 32 0
-14 -358 241 0
-226 63 -426 0
244 -239 26 0
-279 -419 -130 0
-346 -57 485 0
-99 256 405 0
374 2 16 0
-211 -399 -151 0
-49 105 165 0
-498 -459 284 0
-276 341 208 0
-52 77 -444 0
-286 -244 30 0
-246 -10 -290 0
285 -38 -415 0
303 38 -300 0
-387 126 345 0
347 -134 -348 0
403 -151 -11 0
-354 -296 -298 0
190 44 -472 0
-25 -367 -462 0
230 -460 19 0
218 455 -418 0
135 251 359 0
-308 375 -79 0
-169 -324 -123 0
399 494 8 0
-160 -42 337 0
-410 -150 389 0
-300 279 -197 0
-15 305 360 0
-121 -122 182 0
34 -43 -191 0
185 -363 -178 0
-85 422 365 0
297 156 391 0
463 158 -364 0
300 -160 -50 0
32 120 -239 0
452 443 446 0
-341 -113 -475 0
-382 264 437 0
-309 -195 83 0
467 105 -476 0
327 218 342 0
325 -342 428 0
-489 7 76 0
-13 259 -461 0
-346 362 -269 0
293 244 460 0
-244 444 -282 0
-454 366 101 0
325 63 -4 0
35 -296 -115 0
-226 13 -95 0
450 -180 52 0
-129 25 198 0
254 290 176 0
-208 -33 91 0
5 -480 486 0
-195 -310 46 0
443 -446 11 0
-172 333 316 0
-405 -260 -379 0
-289 169 96 0
-105 -74 230 0
-367 -219 261 0
-85 92 117 0
97 91 -410 0
-270 67 198 0
164 334 -152 0
-408 -27 -94 0
56 130 368 0
337 211 -210 0
71 -188 -396 0
332 -73 -123 0
357 192 -483 0
-21 482 67 0
-83 -71 -113 0
483 272 -347 0
-442 -224 468 0
360 152 -371 0
159 24 37 0
346 50 365 0
-433 350 382 0
460 -313 -228 0
249 491 -127 0
274 496 237 0
-201 33 264 0
338 -422 -297 0
-444 74 -398 0
152 -151 -211 0
-393 21 482 0
-473 92 -416 0
165 192 299 0
-472 -139 200 0
-387 -217 -308 0
-500 -296 278 0
116 -67 -25 0
370 -399 -331 0
-471 157 349 0
-366 -18 290 0
-79 344 -482 0
223 -268 345 0
-472 175 -185 0
114 -161 -27 0
-140 78 183 0
375 131 383 0
-42 -27 -420 0
-18 29 296 0
238 -473 494 0
-227 31 209 0
-180 384 459 0
53 244 -114 0
-423 375 -128 0
235 255 -444 0
-191 63 -298 0
-459 -253 -417 0
-257 397 -303 0
-298 74 -466 0
-351 -312 -383 0
-134 306 -168 0
469 -314 -298 0
-182 -134 -262 0
-257 -151 452 0
219 -382 282 0
372 -107 -396 0
267 347 -346 0
99 15 350 0
288 16 -266 0
364 -21 59 0
186 242 490 0
337 180 -400 0
163 -291 -452 0
386 -37 163 0
-194 308 156 0
114 410 253 0
473 -268 -38 0
-203 83 -37 0
-66 -101 -302 0
27 -53 -241 0
153 484 -19 0
176 378 -365 0
-417 215 -275 0
155 -52 -166 0
-404 98 191 0
-19 -35 306 0
26 218 386 0
87 173 435 0
124 -226 -426 0
388 -133 479 0
-57 54 68 0
-374 333 208 0
214 -180 271 0
-97 217 424 0
442 130 -404 0
-33 -5 267 0
381 -293 -385 0
316 -285 388 0
90 -9 -302 0
-423 105 -106 0
-434 -153 -44 0
232 -425 -407 0
156 294 201 0
66 324 330 0
65 36 -116 0
-400 3 -258 0
188 -240 -439 0
-324 -490 -216 0
47 -190 -418 0
93 466 -276 0
-314 -182 429 0
-130 -115 -323 0
-246 468 203 0
-268 315 143 0
-267 173 306 0
220 -32 298 0
-472 -15 -31 0
-458 -248 -67 0
444 498 -239 0
-464 386 458 0
400 -378 -8 0
9 303 -470 0
432 225 164 0
-306 53 -23 0
-43 -343 229 0
-147 29 242 0
-58 -388 -163 0
-78 -275 -452 0
-431 -264 27 0
250 -39 222 0
-114 397 106 0
-399 -453 313 0
-81 105 -123 0
-365 -199 -285 0
-483 168 -45 0
-187 35 79 0
-293 -478 -58 0
129 -64 -180 0
332 -269 -324 0
50 393 -203 0
489 -393 -224 0
275 -278 -460 0
483 -34 -235 0
-467 -493 -267 0
-179 331 -470 0
459 -259 -139 0
-488 317 -105 0
272 -198 -250 0
463 100 387 0
-66 256 -208 0
392 56 475 0
-27 376 -461 0
-311 279 -446 0
363 -79 452 0
16 -394 -69 0
489 -191 -492 0
207 -9 430 0
-437 412 -471 0
-200 -351 286 0
-72 -433 185 0
415 -482 409 0
-434 -446 -406 0
-109 71 -473 0
122 -165 -40 0
500 -116 248 0
-425 -343 -72 0
249 -291 -356 0
-476 -277 -49 0
-4 -172 465 0
-114 427 429 0
-363 -224 44 0
-56 -149 401 0
-63 -346 153 0
161 137 -444 0
-488 -99 -9 0
392 -425 384 0
223 -38 97 0
-283 -180 458 0
-382 97 -95 0
437 -200 -62 0
-413 133 387 0
23 -246 475 0
270 322 52 0
-166 -456 -377 0
-297 -72 480 0
-425 -294 249 0
358 -133 -483 0
-167 428 479 0
464 31 448 0
477 138 466 0
406 -230 -365 0
145 74 38 0
475 409 -465 0
-279 369 397 0
172 333 -43 0
465 350 14 0
163 237 288 0
-189 37 385 0
301 -254 251 0
-178 -412 72 0
85 203 -96 0
106 -122 143 0
235 40 -442 0
-313 -267 53 0
-292 -311 -152 0
-373 -468 146 0
-371 494 212 0
-60 -56 331 0
35 -295 317 0
286 217 421 0
-196 -281 -468 0
-146 11 208 0
-134 -358 73 0
207 -438 -380 0
-263 465 -219 0
-34 -434 -465 0
-224 471 -148 0
-483 34 132 0
25 -496 -400 0
151 -3 -372 0
482 -52 56 0
-133 -160 -358 0
-32 -247 297 0
-245 -13 327 0
-37 -166 197 0
-470 74 -150 0
396 471 -207 0
12 204 -172 0
200 56 -118 0
146 -223 -101 0
-338 288 -175 0
-189 307 -180 0
171 114 220 0
-257 192 -311 0
222 144 95 0
429 -285 -351 0
174 -21 -66 0
-259 -480 484 0
26 106 37 0
176 -180 -160 0
16 188 473 0
-120 165 -142 0
235 -236 -415 0
182 345 171 0
-28 -53 -68 0
-370 165 -17 0
-26 98 -363 0
-448 -332 -296 0
-78 414 476 0
103 6 -309 0
432 326 -269 0
-265 462 3 0
360 -301 57 0
-334 274 384 0
-376 -274 184 0
455 319 -420 0
418 -483 472 0
4 -346 483 0
-148 -379 169 0
-345 -222 -1 0
-108 -336 16 0
-411 -372 -225 0
139 -336 20 0
298 76 -74 0
-450 -340 346 0
-485 355 -384 0
-435 -243 -153 0
-371 4 -427 0
276 -131 -412 0
-243 79 -472 0
-419 438 -396 0
-122 -6 328 0
448 40 229 0
-200 -242 -225 0
-174 -94 -130 0
404 67 -332 0
421 227 -127 0
-120 -367 481 0
315 63 -13 0
31 -320 -177 0
-332 166 -190 0
-164 -168 -357 0
-323 334 315 0
-279 -120 -170 0
-451 -499 255 0
-477 61 -500 0
190 256 262 0
-73 -279 -418 0
223 195 -96 0
80 -107 321 0
-377 32 -421 0
-470 -175 230 0
-308 352 -375 0
-304 174 -252 0
-73 291 -135 0
49 302 -443 0
-291 -270 456 0
-174 407 305 0
-459 352 -254 0
352 45 -272 0
-202 34 311 0
-156 -362 160 0
14 200 -213 0
40 -3 -215 0
407 153 -339 0
212 -203 88 0
-63 53 -443 0
438 -230 347 0
370 313 -168 0
-461 365 437 0
-125 -420 -477 0
-56 46 326 0
76 -274 480 0
-432 -268 -367 0
66 -334 473 0
227 437 111 0
-110 -246 -226 0
-186 -408 362 0
413 -115 61 0
-67 -216 -191 0
-454 -308 -15 0
420 107 165 0
-278 99 251 0
27 -135 -453 0
234 47 -474 0
-131 291 -371 0
266 -414 -2 0
222 -99 498 0
185 150 337 0
344 -203 -106 0
73 272 145 0
-159 -160 -79 0
-461 471 65 0
119 309 -281 0
-134 377 494 0
98 477 -289 0
104 180 453 0
-333 -84 -254 0
-309 424 -15 0
402 -440 42 0
-130 -484 -177 0
-293 -472 166 0
-345 436 -260 0
-358 -278 431 0
56 -22 467 0
-477 417 -484 0
339 -169 288 0
-179 216 106 0
62 148 -324 0
201 -135 210 0
386 -301 -427 0
-257 -210 -486 0
-404 -306 79 0
214 -168 66 0
-367 -473 -84 0
-302 362 243 0
-278 377 424 0
406 50 -335 0
299 -161 338 0
93 -254 386 0
108 -43 -378 0
-351 -425 143 0
192 -387 445 0
-338 -380 -205 0
-407 193 293 0
-62 -260 -103 0
-145 302 -114 0
-156 -490 345 0
51 459 -60 0
-26 -184 300 0
101 63 252 0
-453 -128 316 0
356 431 98 0
126 480 -304 0
-474 -293 334 0
80 109 -449 0
-50 -93 162 0
-243 -174 -415 0
188 -483 -288 0
-395 -451 -369 0
-181 343 74 0
439 455 205 0
-424 127 473 0
445 241 -451 0
342 -50 166 0
-449 -152 429 0
167 -174 444 0
-26 -223 -146 0
146 -156 461 0
274 -446 154 0
134 182 479 0
-448 -483 161 0
-481 103 217 0
-109 -191 18 0
-401 393 -161 0
-142 481 220 0
52 -488 -253 0
232 -182 -434 0
-498 90 -167 0
-363 354 -398 0
-265 252 -155 0
128 70 -131 0
-473 22 -334 0
24 -306 89 0
272 -338 461 0
224 9 -431 0
56 -450 -83 0
373 -316 158 0
231 186 -420 0
345 80 474 0
62 -425 238 0
-198 -35 -31 0
-269 -27 356 0
463 228 -490 0
130 -75 -324 0
227 134 -86 0
253 -225 -387 0
433 456 135 0
359 315 473 0
271 -340 -431 0
-465 11 239 0
-19 -197 -252 0
91 429 386 0
-210 -277 -169 0
-239 -105 -486 0
63 32 -85 0
-186 100 4 0
100 392 -233 0
193 -422 315 0
-206 403 -452 0
-284 -482 -392 0
-414 -130 323 0
482 226 172 0
-472 -5 -403 0
-280 -146 -438 0
364 39 246 0
112 322 376 0
134 328 -140 0
-227 125 492 0
334 -74 -1 0
326 257 411 0
270 125 -82 0
-5 -246 -157 0
208 219 470 0
357 210 468 0
221 171 -109 0
-358 -400 -208 0
229 392 -154 0
-484 180 -359 0
433 -186 -8 0
-178 -250 -201 0
240 -52 341 0
-319 486 -439 0
-313 -281 367 0
351 -209 -161 0
435 -332 462 0
10 -361 -433 0
5 -303 -221 0
-148 247 -6 0
346 416 419 0
343 -181 210 0
413 -197 -120 0
313 253 -428 0
194 22 -277 0
-282 267 -70 0
274 -205 408 0
-219 -304 -347 0
-208 -477 -108 0
-383 393 -277 0
-95 -273 -343 0
377 65 34 0
269 -427 415 0
-103 71 -471 0
-204 102 -275 0
418 452 447 0
-39 198 -497 0
167 -59 -215 0
295 -324 -495 0
-130 319 31 0
22 299 -84 0
-369 376 201 0
-86 -413 243 0
-243 489 -105 0
432 -216 -144 0
-385 306 -211 0
263 -193 -72 0
38 310 343 0
262 223 81 0
110 48 471 0
-448 262 -444 0
293 -113 -438 0
-351 -159 6 0
-183 169 304 0
245 463 151 0
-473 -403 88 0
-313 197 277 0
-345 -158 237 0
-24 368 161 0
-333 -15 -438 0
5 -110 26 0
135 -120 209 0
178 87 -256 0
-8 -22 -159 0
-120 374 200 0
-20 -46 -427 0
-45 362 339 0
-369 216 476 0
-20 74 399 0
-109 -66 409 0
-262 -120 -425 0
-50 -18 109 0
-178 259 -211 0
-368 -303 -401 0
-38 248 -223 0
-418 -426 208 0
45 165 195 0
71 401 -259 0
-163 -343 -154 0
-434 32 -44 0
-475 -155 -270 0
-404 -242 194 0
-372 -343 326 0
-217 401 -303 0
309 -142 -262 0
159 -37 272 0
-481 340 -468 0
-15 351 -457 0
-412 86 -262 0
-265 -126 306 0
-266 -157 466 0
-174 -364 -307 0
-301 452 -364 0
-292 132 120 0
207 401 431 0
332 465 148 0
-133 -256 -486 0
-155 169 -383 0
-205 -180 -23 0
147 -333 -404 0
-138 -108 221 0
-204 418 102 0
-409 -16 227 0
280 215 -270 0
327 107 24 0
268 -197 122 0
232 64 -138 0
-80 -176 191 0
132 481 365 0
-478 103 -402 0
-61 -42 340 0
-218 -137 -69 0
-119 428 305 0
379 165 308 0
-57 -331 -295 0
192 164 261 0
-228 -261 -289 0
377 381 40 0
484 148 193 0
-486 307 -18 0
-248 435 38 0
43 23 426 0
-171 -245 244 0
-56 289 376 0
66 -274 416 0
70 350 76 0
-147 -368 103 0
-74 310 120 0
294 -149 59 0
326 421 404 0
492 137 -180 0
-58 357 15 0
-391 17 60 0
52 29 -376 0
472 399 -80 0
-92 5 -113 0
98 -333 41 0
394 444 403 0
-348 329 -413 0
494 69 -484 0
-323 322 -51 0
-124 -386 -52 0
122 -443 212 0
-250 497 219 0
463 -382 -223 0
256 494 -409 0
129 -74 363 0
-195 -53 -170 0
265 249 -260 0
392 -499 -418 0
-444 350 351 0
-2 48 406 0
-436 -181 188 0
-228 206 -412 0
277 339 211 0
389 52 -202 0
177 -82 274 0
-371 -471 -497 0
-93 378 -477 0
-97 116 -154 0
378 373 131 0
-499 -243 256 0
283 -166 -194 0
322 429 98 0
472 -343 452 0
-228 -114 205 0
-469 371 -328 0
460 332 -403 0
-249 90 -181 0
392 -57 -225 0
-428 -162 66 0
179 317 -354 0
-6 63 241 0
-369 -105 -307 0
250 189 86 0
-305 464 238 0
148 -481 269 0
309 -70 246 0
-443 -73 491 0
77 -357 298 0
284 -438 160 0
434 -370 491 0
-462 375 386 0
-189 9 27 0
173 208 -37 0
-289 311 350 0
-272 -208 -471 0
232 -357 -468 0
-1 -222 243 0
-164 -5 132 0
394 92 -136 0
132 347 87 0
381 258 -463 0
-77 -83 -281 0
207 35 -460 0
466 403 189 0
30 -438 156 0
260 -110 -142 0
-309 -75 -103 0
434 -231 -443 0
-397 -245 436 0
-8 419 -386 0
-212 186 329 0
-462 218 168 0
-415 498 -79 0
137 -456 347 0
-492 387 420 0
219 -182 168 0
-40 -117 355 0
-254 -167 -34 0
-314 383 445 0
250 14 239 0
81 203 -13 0
159 454 -196 0
232 458 -278 0
231 116 285 0
-478 247 -185 0
-227 -472 285 0
-232 384 -284 0
312 -93 -20 0
-381 -4 226 0
195 161 -430 0
-184 224 -264 0
137 139 -417 0
-445 -325 -58 0
79 13 -488 0
-46 431 494 0
-348 196 -267 0
-43 -10 -435 0
239 -393 193 0
-328 496 338 0
246 479 -492 0
73 -228 142 0
430 307 -434 0
-52 219 -411 0
-177 -464 344 0
356 130 93 0
498 347 -309 0
10 349 350 0
319 -239 434 0
415 440 395 0
-282 109 -342 0
195 -47 235 0
-480 126 432 0
291 396 -32 0
-360 -438 387 0
451 -208 -125 0
-170 373 409 0
121 -153 351 0
-453 -190 -213 0
204 -347 -200 0
-52 -248 -69 0
493 256 123 0
236 214 175 0
90 55 459 0
59 -10 -197 0
316 428 -347 0
-478 -313 297 0
-170 -366 47 0
11 -91 -386 0
-217 373 -142 0
60 -456 297 0
-341 395 -84 0
-423 -387 -63 0
-495 -141 137 0
-142 210 35 0
342 39 419 0
-122 -304 -341 0
-46 -452 498 0
-316 9 382 0
-357 -300 174 0
-141 -368 257 0
-313 -363 265 0
473 -260 216 0
-429 111 -490 0
195 -139 -238 0
426 -67 97 0
-209 -232 -165 0
402 -327 397 0
162 91 246 0
78 107 -423 0
117 -314 -402 0
-176 16 389 0
444 -22 57 0
129 -190 63 0
138 426 301 0
-33 -236 136 0
221 -49 -469 0
460 -297 149 0
-380 -349 -151 0
-365 336 -160 0
-490 345 -134 0
127 325 85 0
152 -319 376 0
-360 -277 392 0
-278 -167 412 0
-497 -1 57 0
110 -254 14 0
476 408 -212 0
430 186 -194 0
-292 17 -489 0
451 -128 -2 0
297 -420 -12 0
454 53 -333 0
-461 228 333 0
-66 190 -295 0
475 275 259 0
-21 -314 -299 0
-63 479 40 0
415 217 -197 0
224 -266 -14 0
-401 390 -324 0
215 384 193 0
100 -205 320 0
-110 -428 -118 0
474 -187 400 0
-69 -271 72 0
-210 -446 51 0
376 234 -272 0
-273 -84 -380 0
303 452 -481 0
-103 -406 -259 0
-65 343 270 0
473 -332 -140 0
-437 191 -179 0
-385 277 -416 0
-68 -31 -82 0
384 -199 72 0
-135 -29 -473 0
489 -380 83 0
56 -463 -141 0
189 -225 -128 0
-467 242 37 0
223 -282 -110 0
-495 -183 -79 0
88 379 342 0
-96 263 487 0
119 67 144 0
156 -361 -127 0
152 -313 168 0
-74 248 8 0
-445 -238 401 0
-153 -57 100 0
240 128 -320 0
289 -47 206 0
454 -379 461 0
-333 455 -308 0
20 -365 216 0
-380 -269 205 0
243 -163 -265 0
-137 -256 402 0
-266 202 -356 0
-294 444 170 0
-433 -262 -289 0
-29 -193 -376 0
-186 7 -96 0
293 -186 -80 0
434 311 425 0
336 186 402 0
202 239 173 0
-23 399 -243 0
-60 160 113 0
-443 -294 -47 0
-50 -109 -204 0
332 -432 233 0
-241 -326 -378 0
243 1 76 0
234 -494 -383 0
-377 230 -165 0
464 -295 20 0
128 -120 -94 0
-461 -221 361 0
210 400 488 0
207 -133 -178 0
-61 154 433 0
226 -477 205 0
225 39 486 0
-371 380 20 0
241 -55 387 0
-249 190 174 0
75 -12 -475 0
245 -42 290 0
-359 5 -314 0
-434 388 455 0
-439 -263 330 0
344 193 -332 0
336 306 23 0
-388 476 -3 0
187 120 180 0
476 448 86 0
332 -287 -172 0
123 -306 -325 0
355 -455 -493 0
-490 -343 151 0
441 263 -273 0
-169 47 413 0
163 -117 138 0
-468 476 410 0
48 331 348 0
-483 -245 452 0
-433 -332 381 0
32 291 345 0
234 80 -12 0
-378 47 -362 0
379 -10 327 0
-196 407 -175 0
148 -382 158 0
-327 -241 293 0
364 -35 -119 0
18 -138 -384 0
-195 319 335 0
-262 400 445 0
398 193 -492 0
410 372 -245 0
-256 303 -352 0
-270 300 -426 0
-83 20 -272 0
-129 148 382 0
112 -19 -430 0
155 -320 150 0
-318 -98 88 0
317 392 215 0
265 -356 457 0
-495 -248 -446 0
-234 431 -469 0
-252 -91 68 0
-324 -382 -27 0
-148 -222 465 0
401 -1 466 0
-373 417 -464 0
-76 -291 382 0
69 429 -328 0
17 401 90 0
-202 351 212 0
-463 119 281 0
154 -371 486 0
-50 -403 155 0
87 -289 -429 0
-374 -420 427 0
-417 384 419 0
462 -236 -116 0
-386 218 -115 0
123 477 -243 0
-413 422 418 0
4 270 -378 0
-271 486 490 0
-417 439 -235 0
-63 104 373 0
498 -207 -392 0
-496 -135 155 0
335 429 68 0
291 7 -13 0
458 363 335 0
-263 -265 -287 0
118 195 -124 0
-253 -406 -54 0
-222 191 -90 0
85 -473 91 0
-255 326 183 0
217 -315 -491 0
-435 398 -309 0
-26 179 407 0
-470 285 17 0
-164 -20 227 0
-252 -500 476 0
-115 300 -307 0
-152 252 -402 0
-270 350 96 0
391 437 -468 0
-447 -309 -117 0
-80 -309 -421 0
290 -76 124 0
-50 -264 -293 0
221 148 100 0
-424 -50 -493 0
286 -457 174 0
189 452 -485 0
-159 -105 169 0
213 464 14 0
115 -181 -192 0
39 -78 -263 0
469 -451 -369 0
-428 195 -340 0
469 -484 -286 0
432 12 -47 0
-367 -322 -133 0
-239 -451 -321 0
-124 455 -79 0
-424 -36 -332 0
-169 -77 103 0
-398 20 -469 0
310 -335 101 0
341 353 231 0
146 -344 220 0
249 139 -276 0
-448 -127 204 0
-271 368 482 0
-137 -53 -31 0
161 70 -235 0
30 463 -203 0
-67 31 -213 0
238 -121 -237 0
-202 -101 170 0
-239 -433 -495 0
477 -45 -13 0
129 -54 457 0
-144 225 -415 0
-234 -20 -282 0
1 454 372 0
76 143 -10 0
-448 -220 25 0
-301 143 240 0
-42 -35 133 0
-435 -447 -392 0
441 -42 66 0
-351 -24 -354 0
-193 -368 179 0
99 -487 182 0
424 -106 293 0
483 338 232 0
237 -269 -335 0
-302 -293 -238 0
-322 -324 230 0
340 -29 -458 0
-197 251 -37 0
454 102 329 0
-236 -165 -188 0
68 -301 445 0
20 302 5 0
-393 -465 485 0
46 -308 -241 0
433 -47 -129 0
220 327 -195 0
-241 427 466 0
187 402 -26 0
19 57 346 0
166 -496 -267 0
40 -477 -65 0
-442 175 -370 0
274 -257 183 0
138 370 431 0
-276 300 -378 0
-370 -244 49 0
-377 84 -435 0
-374 76 -16 0
123 -387 300 0
-253 91 -158 0
424 207 -481 0
39 -205 402 0
346 -157 -453 0
88 -404 -309 0
-179 459 -412 0
-441 3 -203 0
448 -111 -446 0
272 -269 63 0
201 -485 -454 0
-49 189 128 0
161 -469 346 0
-164 161 143 0
-42 -176 349 0
-174 -188 493 0
156 20 -329 0
-353 -447 96 0
-77 -334 42 0
-278 30 -323 0
354 -465 182 0
-91 175 -490 0
461 -250 90 0
184 241 18 0
449 -271 74 0
52 175 -378 0
-265 -63 72 0
306 -65 -174 0
-54 299 -97 0
-497 -116 -295 0
319 481 -295 0
147 269 150 0
-490 284 -313 0
-39 453 -334 0
-7 -89 358 0
467 -376 331 0
258 125 320 0
-237 423 243 0
-174 -121 -272 0
474 -447 -332 0
446 437 71 0
-147 -406 177 0
-315 418 -237 0
311 227 429 0
-84 -478 360 0
70 -281 484 0
-372 360 96 0
-497 441 205 0
-443 119 103 0
381 234 125 0
470 -398 -122 0
-257 259 -394 0
-95 361 -300 0
-422 -57 -360 0
206 347 480 0
273 227 -275 0
-405 206 -354 0
274 49 379 0
-76 341 -472 0
322 -112 -118 0
74 -210 382 0
273 -466 162 0
-221 248 -256 0
-148 -37 173 0
-105 405 207 0
198 -430 462 0
488 87 443 0
-41 365 489 0
-436 380 -306 0
179 -474 202 0
-6 -121 5 0
-338 -198 262 0
-58 -230 -443 0
486 239 -276 0
-247 -434 -303 0
-228 -11 -166 0
-130 -364 13 0
9 -227 -393 0
317 233 -377 0
306 -54 -18 0
352 -161 -249 0
131 -1 -67 0
-369 79 88 0
449 -367 366 0
306 -142 414 0
426 278 -359 0
-488 477 161 0
40 -3 467 0
-254 -132 -120 0
479 -495 -274 0
315 134 -211 0
397 114 8 0
243 52 -280 0
436 495 -432 0
-83 -243 -401 0
119 -230 198 0
35 -54 -303 0
225 255 199 0
127 472 393 0
-40 -181 -332 0
412 -225 29 0
304 479 361 0
-165 -248 256 0
-132 473 251 0
256 -331 -209 0
200 -349 -403 0
-78 -294 473 0
390 -283 461 0
-196 113 -401 0
-188 194 -34 0
76 -415 222 0
119 163 430 0
443 -392 376 0
-297 -23 443 0
229 20 308 0
-357 263 398 0
134 -178 121 0
339 415 -496 0
312 156 -235 0
161 54 -238 0
165 -439 132 0
452 -60 -476 0
-319 376 297 0
125 381 378 0
-316 377 129 0
-240 341 201 0
-114 -57 413 0
-79 86 -251 0
-404 -158 -361 0
77 -350 424 0
19 -279 139 0
-77 -476 273 0
70 376 -4 0
343 49 -456 0
134 214 -370 0
-314 426 -208 0
-70 432 -482 0
-451 -337 229 0
-358 -42 -416 0
-400 -69 -90 0
-7 13 63 0
-329 316 -206 0
-63 -302 -479 0
-217 -214 84 0
426 -327 39 0
-51 277 -486 0
-389 104 -55 0
86 -62 -273 0
435 166 228 0
166 -472 302 0
-221 -248 244 0
458 136 211 0
-298 394 -190 0
-472 -445 466 0
485 479 -175 0
-234 225 -154 0
-349 -221 -310 0
-381 5 213 0
173 10 -392 0
-233 -428 -320 0
150 321 183 0
121 -59 -284 0
290 -337 232 0
-301 -338 240 0
34 -489 153 0
65 -463 -329 0
-195 275 -106 0
-232 376 -299 0
-103 -472 432 0
-11 -320 -220 0
17 150 390 0
190 -80 -353 0
396 47 245 0
-347 251 -444 0
-97 495 436 0
450 195 -259 0
274 299 -77 0
422 -486 -60 0
-183 -269 202 0
-142 411 195 0
401 195 11 0
-367 488 440 0
-91 -216 437 0
-44 211 -248 0
240 -182 2 0
189 -283 -356 0
184 441 49 0
-488 -480 51 0
401 -457 -90 0
52 470 -318 0
277 -284 172 0
445 -425 -468 0
-473 414 -130 0
264 -324 -457 0
-469 -225 402 0
-280 84 -30 0
158 266 238 0
-355 -372 356 0
165 -233 -364 0
205 413 -426 0
-141 -161 -27 0
47 416 63 0
365 345 -32 0
-176 -419 -26 0
105 -131 28 0
85 202 -143 0
164 328 138 0
231 479 -349 0
-299 -243 22 0
311 61 415 0
232 62 -349 0
-173 -292 48 0
-451 -219 -39 0
-474 -354 186 0
464 -189 -49 0
-430 -325 -416 0
146 -52 65 0
-141 16 -264 0
192 -133 454 0
123 -169 -166 0
-206 117 385 0
-285 -110 -249 0
-166 218 -125 0
308 487 102 0
94 222 -327 0
-91 -368 -67 0
20 489 -311 0
153 192 2 0
-204 -104 -450 0
-55 462 66 0
-30 6 78 0
159 -214 -370 0
-57 -491 23 0
346 33 497 0
-22 -315 -236 0
-31 238 -180 0
462 438 441 0
255 -438 4 0
66 20 -499 0
138 286 6 0
-277 -423 -266 0
-462 -332 -433 0
-11 421 225 0
-356 411 200 0
-187 5 202 0
-71 -424 432 0
356 214 -491 0
-352 -37 75 0
-484 -70 229 0
276 239 -16 0
256 -438 428 0
-492 461 -13 0
267 39 -90 0
-345 467 249 0
-426 -181 106 0
349 376 296 0
437 483 260 0
10 441 -311 0
-364 262 500 0
-114 -430 491 0
-183 -119 -109 0
-208 -493 -388 0
-327 293 325 0
340 -471 65 0
8 229 304 0
448 152 -161 0
105 -177 441 0
-288 348 -273 0
-117 106 164 0
232 -62 -379 0
424 149 -157 0
-36 338 28 0
96 257 114 0
-405 -42 -340 0
422 346 -57 0
-22 -248 -494 0
189 -344 -378 0
429 -425 397 0
-174 242 71 0
-300 124 -441 0
214 -193 203 0
-203 -387 456 0
135 -454 -307 0
-163 152 234 0
-324 205 -86 0
-23 -94 102 0
-74 377 -214 0
-389 -237 486 0
-415 -136 283 0
-500 328 33 0
59 282 337 0
381 -237 72 0
136 368 45 0
-88 -422 212 0
-466 492 -485 0
-34 349 -369 0
44 92 -302 0
-267 14 176 0
-65 -85 -181 0
153 264 -374 0
161 48 -424 0
70 327 22 0
-271 -177 395 0
-258 -235 14 0
-451 359 -191 0
-138 -86 353 0
456 -306 -485 0
34 92 298 0
-118 -169 -179 0
114 -332 188 0
-236 -319 -41 0
27 130 -28 0
-15 -486 -308 0
166 -98 331 0
204 -153 472 0
-470 176 -450 0
-294 288 348 0
409 -439 220 0
-9 52 -428 0
94 432 -219 0
-5 -348 252 0
-403 -358 -96 0
-237 -356 -42 0
345 262 -147 0
-224 -452 203 0
127 -384 442 0
312 -313 427 0
153 437 -167 0
189 364 -398 0
18 329 -277 0
-484 -457 -410 0
-349 134 -289 0
212 242 429 0
-155 -347 389 0
-289 -493 40 0
-151 253 -112 0
-229 -299 480 0
274 314 75 0
300 149 -36 0
-334 -25 -483 0
-312 -50 391 0
-365 25 -491 0
-72 364 -254 0
-357 249 -199 0
291 440 -487 0
177 437 296 0
79 328 -471 0
492 419 -347 0
-322 379 -143 0
-95 -248 460 0
-455 250 -120 0
457 -147 -450 0
-271 -158 -311 0
-275 -280 262 0
441 -392 312 0
-12 -241 493 0
144 -39 278 0
24 -85 -328 0
19 158 76 0
59 -83 43 0
-120 430 263 0
420 343 289 0
244 -472 448 0
460 303 142 0
-19 -212 -396 0
435 -314 -386 0
-274 237 -127 0
446 -379 -122 0
-168 -199 -138 0
-192 72 -187 0
-170 299 425 0
288 -178 -345 0
-317 -82 411 0
329 180 -487 0
31 -494 211 0
33 -380 333 0
-33 338 474 0
-227 -88 -237 0
112 -247 363 0
352 197 -451 0
343 -420 -359 0
-101 -56 118 0
181 -242 23 0
268 -355 -218 0
423 448 -217 0
-157 -144 251 0
-426 -447 -18 0
-364 452 71 0
336 285 -294 0
47 79 71 0
412 38 492 0
362 -355 31 0
-311 92 -399 0
-431 -51 -457 0
299 313 -484 0
-469 -112 -392 0
-488 -461 -230 0
-470 113 -400 0
274 148 -277 0
104 364 266 0
445 -452 -280 0
7 400 224 0
-137 -424 -388 0
357 -82 50 0
-102 -228 290 0
139 205 -317 0
-129 136 -203 0
278 321 -188 0
-88 -186 435 0
-241 -238 -294 0
-304 -377 388 0
86 278 279 0
298 378 -181 0
-104 -316 496 0
58 70 137 0
61 199 77 0
494 45 85 0
-101 -317 -243 0
214 98 258 0
-284 174 -169 0
186 -332 480 0
469 -473 -29 0
145 42 27 0
-391 -472 -83 0
-359 429 294 0
-184 -20 298 0
37 5 354 0
-1 -44 165 0
-109 -484 76 0
81 -34 -475 0
-316 -132 370 0
-406 122 -442 0
-43 -206 -205 0
-239 202 -457 0
-106 -465 -263 0
352 164 -8 0
387 -204 -309 0
409 303 6 0
-443 440 -30 0
93 428 -114 0
-479 179 376 0
447 -404 396 0
306 39 90 0
-495 27 -258 0
296 202 85 0
152 291 -121 0
-131 -92 -390 0
-415 418 390 0
118 -226 -366 0
300 -321 216 0
488 -171 95 0
218 -492 31 0
111 -87 486 0
-54 -462 -13 0
-468 -485 -226 0
-166 451 52 0
-277 114 -270 0
476 -408 134 0
314 -234 337 0
21 -251 -241 0
-163 -156 261 0
-339 -444 -214 0
245 7 -91 0
-41 -326 32 0
91 426 419 0
313 -455 -253 0
-141 -174 57 0
-359 241 361 0
-28 453 80 0
-470 -188 425 0
180 -174 -14 0
-388 -467 379 0
-338 -141 272 0
-206 43 -13 0
-486 -59 457 0
-359 -209 59 0
-496 369 346 0
-107 -411 413 0
-385 -129 364 0
-238 -328 -274 0
1 169 161 0
-240 211 -259 0
-135 488 -58 0
-432 -385 -490 0
-135 -396 74 0
-424 -453 29 0
443 -349 41 0
-211 96 -44 0
482 -263 -348 0
340 -455 -418 0
377 -73 -133 0
338 29 -78 0
11 -246 -255 0
-265 -312 156 0
230 -51 8 0
300 -107 15 0
136 356 -59 0
-126 120 -157 0
144 486 365 0
-7 -242 -328 0
386 448 147 0
125 -395 48 0
-247 -108 495 0
-432 315 380 0
-30 109 254 0
-240 -433 301 0
253 283 -25 0
69 94 -215 0
-263 -480 477 0
35 -323 299 0
223 426 -474 0
-431 -308 391 0
-396 11 213 0
-107 466 184 0
-216 15 -328 0
-84 -398 114 0
373 -26 -480 0
-69 -276 -313 0
389 -292 325 0
371 280 -270 0
441 351 -6 0
329 21 -278 0
-100 -333 395 0
-75 1 -93 0
122 -367 -348 0
-396 146 428 0
-495 -275 331 0
-403 -20 62 0
87 406 -387 0
-422 195 2 0
-207 -365 428 0
-243 209 -152 0
-52 -154 470 0
-295 -102 152 0
470 -64 104 0
-50 209 -214 0
414 298 -389 0
203 -487 -255 0
-369 -254 -7 0
-425 346 -251 0
1 154 43 0
-185 -43 228 0
-368 -269 37 0
-222 425 -92 0
-295 125 95 0
-491 131 163 0
-138 5 -228 0
136 21 289 0
461 -72 270 0
-384 438 29 0
22 -121 329 0
-77 -305 -12 0
-104 -238 -443 0
89 -401 272 0
182 -429 446 0
-400 -300 390 0
-31 -311 440 0
164 318 -422 0
293 -40 -327 0
420 457 448 0
259 361 -182 0
293 -97 453 0
-60 -166 324 0
125 -409 -359 0
379 -241 -160 0
-435 424 405 0
-340 400 -131 0
271 315 -432 0
321 75 -358 0
357 -185 -241 0
-473 -139 -103 0
25 -354 278 0
217 -380 -415 0
-190 147 205 0
-316 -76 -489 0
-28 -365 61 0
-58 192 -402 0
112 -382 -69 0
-78 47 283 0
-344 283 41 0
-454 -91 -440 0
17 -18 15 0
402 -333 -241 0
-75 -237 359 0
165 -41 -306 0
-169 -1 126 0
-166 -66 -85 0
109 -477 -304 0
-401 -473 -444 0
130 -16 468 0
272 240 -134 0
478 5 -411 0
-278 -453 313 0
-46 204 247 0
494 -14 461 0
207 47 -324 0
-9 -273 -74 0
198 231 470 0
-218 303 125 0
251 -104 -113 0
-132 278 192 0
-456 -202 170 0
-194 166 -355 0
46 -126 -478 0
-313 438 -232 0
-82 -13 136 0
238 -165 188 0
-9 482 378 0
290 -99 200 0
289 2 1 0
287 131 -361 0
-268 -9 -238 0
150 495 -452 0
-169 366 -395 0
390 325 312 0
-59 160 -369 0
-104 224 230 0
-410 32 -64 0
491 -98 325 0
260 -424 -12 0
-433 -21 248 0
-348 94 -231 0
279 421 250 0
76 -309 477 0
393 -291 101 0
151 315 123 0
99 -63 -162 0